]> dgit.raspbian.org Git - gnome-shell.git/commitdiff
ci: Check that pot file is generated correctly
authorFlorian Müllner <fmuellner@gnome.org>
Sat, 9 Feb 2019 03:51:00 +0000 (04:51 +0100)
committerGeorges Basile Stavracas Neto <georges.stavracas@gmail.com>
Tue, 26 Feb 2019 21:08:17 +0000 (21:08 +0000)
This is to guard against the now infamous xgettext bug[0].

[0] https://savannah.gnu.org/bugs/?50920#comment5

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/408

.gitlab-ci.yml

index 4a35606bb5542a328ab3564703d173efc6b255b2..d02f3eb0b6de5e9215ab3851ee2f3d20e43b7a2a 100644 (file)
@@ -6,6 +6,7 @@ stages:
 
 variables:
     JS_LOG: "js-report.txt"
+    POT_LOG: "pot-update.txt"
 
 .only_default: &only_default
     only:
@@ -71,3 +72,19 @@ test:
         paths:
             - build/meson-logs/testlog.txt
         when: on_failure
+
+test-pot:
+    image: registry.gitlab.gnome.org/gnome/gnome-shell/master:v1
+    stage: test
+    before_script:
+        - ninja -C mutter/build install
+    script:
+        # Check that pot files are generated correctly:
+        # https://savannah.gnu.org/bugs/?50920#comment5
+        - ninja -C build gnome-shell-pot 2>&1 | awk '
+            BEGIN { start=0; }
+            start==1 { print $0; }
+            /gnome-shell-pot/ { start=1; }
+          ' | tee $POT_LOG
+        - (! grep -q . $POT_LOG)
+    <<: *only_default